class Base
feature
    frozen A() 
    do
    end
end
class Derived
inherit 
        Base
        redefine A
feature
    A() 
    do
    end
end